Diclib.com
Λεξικό ChatGPT

Αναζήτηση λεξικού Προσαρμοσμένες λύσεις

Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆

Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

πώς χρησιμοποιείται η λέξη
συχνότητα χρήσης
χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
επιλογές μετάφρασης λέξεων
παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
ετυμολογία

axiomatic closure - translation to ρωσικά

SET OF AXIOMS FROM WHICH SOME OR ALL AXIOMS CAN BE USED IN CONJUNCTION TO LOGICALLY DERIVE THEOREMS

Axiomatization; Axiomatisation; Axiomatic method; Axiomatic framework; Axiom system; Axiomatic reasoning; Hilbert-style calculi; Axiomatic theory; Axiomatic definition; Axiomatic approach; Axiomatic logic; Axiomatic proof; Axiomatic System

axiomatic closure

математика

аксиоматическое замыкание

axiom of closure

MATHEMATICAL PROPERTY OF AN OPERATION

Closure (binary operation); Closed under; Set closure (mathematics); Abstract closure; Axiom of closure; Abstract closure operator; Additively closed; Closure property of multiplication; Reflexive transitive closure; Reflexive transitive symmetric closure; P closure (binary relation); P closure; Reflexive symmetric transitive closure; Equivalence closure; Closure property; Congruence closure; Closure of a relation

математика

аксиома замыкания

upvalue

TECHNIQUE FOR CREATING LEXICALLY SCOPED FIRST CLASS FUNCTIONS

Closure (programming); Lexical closure; Closure (Computer Science); Lexical closures; Closure (computing); Upvalue; Function closure; Function closures; Closures (computer science); Closure (computer science); Local classes in Java

[ʌp'vælju:]

глагол

общая лексика

повысить стоимость

цену

повысить курс (валюты)

Ορισμός

closure

(closures)

1.

The closure of a place such as a business or factory is the permanent ending of the work or activity there.

...the closure of the Ravenscraig steelworks...

Almost three in four clinics say they face closure by the end of the year.

N-VAR

2.

The closure of a road or border is the blocking of it in order to prevent people from using it.

N-COUNT: usu with supp

3.

If someone achieves closure, they succeed in accepting something bad that has happened to them. (mainly AM)

I asked McKeown if the reunion was meant to achieve closure.

N-UNCOUNT

Εμφάνιση περισσότερων ορισμών

Βικιπαίδεια

Axiomatic system

In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively-self-contained body of knowledge which usually contains an axiomatic system and all its derived theorems. An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within model theory) that describes a set of sentences that is closed under logical implication. A formal proof is a complete rendition of a mathematical proof within a formal system.

https://en.wikipedia.org/wiki/Axiomatic system

Μετάφραση του &#39axiomatic closure&#39 σε Ρωσικά